Pinned Loading

1. tina tina Public

   Tina, a programming language with typed algebraic effects and handlers.

   OCaml 11 1

2. Arg.fs Arg.fs Public

   A simple Command Line argument parser in F#

   F# 2

3. mini mini Public

   A mini ML like language to be used to in a simple calculator

   F# 2

4. cryptarith cryptarith Public

   Solving crypt-arithmetic problems in Racket

   Racket

5. oii oii Public

   No really, Ocaml is Idris

   OCaml 5

6. littletyper littletyper Public

   Some code samples from the book "The Little Typer"

   Racket