hellerim

Pinned Repositories

programming-scala-book-code-examples
The code examples used in Programming Scala, 2nd and 3rd Editions (O'Reilly)
Language:Scala646 54 22412
Idris2
A purely functional programming language with first class types
Language:Idris00
train_timetables
BDD inAction Review
Language:Java0 1 00
Idris2
A purely functional programming language with first class types
Language:Idris2.5k 64 1.2k375
scala-cli
Scala CLI is a command-line tool to interact with the Scala language. It lets you compile, run, test, and package your Scala code (and more!)
Language:Scala551 21 946129

hellerim's Repositories

hellerim/Idris2
A purely functional programming language with first class types
Language:Idris00
hellerim/train_timetables
BDD inAction Review
Language:Java0 1 00