GitHub - ExternalReality/ats-practice: Example ATS practice program with a focus on user interaction with contrained types. · GitHub

Name		Name	Last commit message	Last commit date
Factorial		Factorial
FizzBuzz		FizzBuzz
JSON		JSON
LinearObjects		LinearObjects
RockPaperScissors		RockPaperScissors
SDL		SDL
SpecByExample		SpecByExample
exponents		exponents
high-spec		high-spec
string_search		string_search
using_constraints_on_input		using_constraints_on_input
.gitignore		.gitignore

About

Example ATS practice program with a focus on user interaction with contrained types.

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages