• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for caledon-3.1.0.0 source tarball

caledon-3.1.0.0/

• AST.hs
• Choice.hs
• Context.hs
• HOU.hs
• LICENSE
• Main.hs
• Options.hs
• Parser.hs
• README.md
• Setup.hs
• Substitution.hs
• TopoSortAxioms.hs
• caledon.cabal
• examples/
  • #test.ncc#
  • circtype.ncc
  • circtype_bad.ncc
  • coc.ncc
  • implicit.ncc
  • linear.ncc
  • meta.ncc
  • nondet.ncc
  • readlinein.ncc
  • syntax.ncc
  • test.ncc
  • universe.ncc
• media/
  • logo.png
  • logo.svg
• prelude/
  • booleans.ncc
  • combinators.ncc
  • concatable.ncc
  • io.ncc
  • list.ncc
  • logic.ncc
  • maybe.ncc
  • naturals.ncc
  • prelude.ncc
  • strings.ncc