ermine-0.6: Ermine
This is a port of the compiler for the Ermine functional programming language from Scala.
_,-/"---,
;""""""""""; _`;; "" <@`---v
; ::::: :: "' _` ;; " _.../
;" ;; ;;; '",-`:: ;;,'""""
;" ;;;;. ;; ;;; ::` ____
,/ / ;; ;;;______;;; ;;; ::,` / __/_____ _ ( )__ __
/;; _;; ;;; ; ; / _//`__/ ' \/ /`_ \/ -)
| :/ / ,;' ;_ "")/ /___/_/ /_/_/_/_/_//_/\__/ 0.6
; ; / /"""= \;;\\""= Copyright (C) 2010-14 McGraw Hill Financial
;"""';\::""""""= \\"""=
\/"""
For more information, you can watch the Presentation by Edward Kmett at CUFP 2013 about the genesis and goals of Ermine.
Modules
- Ermine
- Builtin
- Console
- Constraint
- Core
- Ermine.Diagnostic
- Inference
- Ermine.Interpreter
- Ermine.Monitor
- Parser
- Pattern
- Ermine.Pretty
- Ermine.Syntax
- Ermine.Syntax.Class
- Ermine.Syntax.Constructor
- Ermine.Syntax.Convention
- Ermine.Syntax.Core
- Ermine.Syntax.Data
- Ermine.Syntax.Digest
- Ermine.Syntax.G
- Ermine.Syntax.Global
- Ermine.Syntax.Head
- Ermine.Syntax.Hint
- Ermine.Syntax.Id
- Ermine.Syntax.Instance
- Ermine.Syntax.Kind
- Ermine.Syntax.Literal
- Ermine.Syntax.Module
- Ermine.Syntax.ModuleName
- Ermine.Syntax.Name
- Ermine.Syntax.Pattern
- Ermine.Syntax.Scope
- Ermine.Syntax.Sort
- Ermine.Syntax.Term
- Ermine.Syntax.Type
- Unification
- Ermine.Version