Skip to content

bbarker/ATS-Postiats-wiki

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

338 Commits

.gitattributes

.gitattributes

 
 

ATS-implementations.md

ATS-implementations.md

 
 

ATS1.md

ATS1.md

 
 

ATSLF.md

ATSLF.md

 
 

ATSLIB.md

ATSLIB.md

 
 

Building-and-installing.md

Building-and-installing.md

 
 

Built-in-constraint-solving.md

Built-in-constraint-solving.md

 
 

Built-in-datatypes.md

Built-in-datatypes.md

 
 

Built-in-operators.md

Built-in-operators.md

 
 

C-interface.md

C-interface.md

 
 

Code optimization.md

Code optimization.md

 
 

Compiling-ATS-code.md

Compiling-ATS-code.md

 
 

Contrib.md

Contrib.md

 
 

Contributed-Libraries.md

Contributed-Libraries.md

 
 

Design-patterns.md

Design-patterns.md

 
 

Error-messages.md

Error-messages.md

 
 

FAQ.md

FAQ.md

 
 

Frequently-asked-questions.md

Frequently-asked-questions.md

 
 

Headers.md

Headers.md

 
 

Home.md

Home.md

 
 

IDE.md

IDE.md

 
 

Internal-types.md

Internal-types.md

 
 

Java-interface.md

Java-interface.md

 
 

Memory-leaks.md

Memory-leaks.md

 
 

Naming-conventions.md

Naming-conventions.md

 
 

OS-kernels.md

OS-kernels.md

 
 

Rosetta-Stone.md

Rosetta-Stone.md

 
 

Scientific-Computing.md

Scientific-Computing.md

 
 

Stack-and-heap-allocation.md

Stack-and-heap-allocation.md

 
 

Strings.md

Strings.md

 
 

Style-guide.md

Style-guide.md

 
 

TODO.md

TODO.md

 
 

Typechecking-directives.md

Typechecking-directives.md

 
 

Writing-interfaces-to-C-libraries.md

Writing-interfaces-to-C-libraries.md

 
 

Zen-Practice-on-ATS.md

Zen-Practice-on-ATS.md

 
 

atsdoc.md

atsdoc.md

 
 

atspkgreloc.md

atspkgreloc.md

 
 

char.md

char.md

 
 

code-generation.md

code-generation.md

 
 

compiler-errors.md

compiler-errors.md

 
 

dataviewtype.md

dataviewtype.md

 
 

dynload.md

dynload.md

 
 

editors.md

editors.md

 
 

effects.md

effects.md

 
 

emacs.md

emacs.md

 
 

features.md

features.md

 
 

implementations.md

implementations.md

 
 

initialization.md

initialization.md

 
 

internationalization.md

internationalization.md

 
 

kernels.md

kernels.md

 
 

keywords.md

keywords.md

 
 

languages.md

languages.md

 
 

license.md

license.md

 
 

loops.md

loops.md

 
 

operating-systems.md

operating-systems.md

 
 

overload.md

overload.md

 
 

runtime-errors.md

runtime-errors.md

 
 

safety.md

safety.md

 
 

sort.md

sort.md

 
 

staload.md

staload.md

 
 

subtype.md

subtype.md

 
 

template.md

template.md

 
 

tutorials.md

tutorials.md

 
 

type.md

type.md

 
 

typechecking-errors.md

typechecking-errors.md

 
 

vim.md

vim.md

 
 

Repository files navigation

About

A clone of the ATS wiki, which can be found at https://github.com/githwxi/ATS-Postiats/wiki

License

View license
Activity

Stars

0 stars

Watchers

3 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Contributors 8