The Home of Community

800K+ People
300K+ Rooms
90K+ Communities
100+ Countries

domdere / fp-in-idris

Functional Programing in Scala (in Idris) [Idris]

idris functional programing scala

fp-ru / Lobby

обсуждение функционального программирования

haskell fp functional sml ocaml f# purescript idris agda scala

ydewit / idris-ivor

Ivor - a Truffle/GraalVM based Just-In-Time (JIT) compiler for the Idris language

idris language jit jvm dependent-type