This repository contains support code in Elm, Haskell and Idris for my talk on the relevance of sophisticated type systems with today's domain design and coding challenges.
This talk has been given at Crafting Software Meetup on March 28, 2017.
-
Notifications
You must be signed in to change notification settings - Fork 2
abailly/xxi-century-typed
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Support code for talk 'XXIst century shall be typed or not be'
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published