Skip to content

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

Sign in

Sign up

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

githwxi / ATS-Postiats Public

Notifications You must be signed in to change notification settings
Fork 54
Star 353

Code
Issues 20
Pull requests 2
Actions
Projects
Wiki
Security
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Projects
Wiki
Security
Insights

IDE

Jump to bottom Edit New page

bbarker edited this page Dec 16, 2014 · 2 revisions

See editors.

Add a custom footer

Toggle table of contents Pages 70

Home
$showtype
ATS implementations
ATS1
ATSCC2JS: representations of ATS terms in JS programs
atsdoc
ATSLF
ATSLIB
atspkgreloc
Building and installing
Built in constraint solving
Built in datatypes
Built in operators
C interface
char
code generation
Code optimization
compiler errors
Compiling ATS code
Contrib
Contributed Libraries
dataviewtype
Design patterns
Docker Image Generation and Deployment
dynload
Editors
effects
emacs
Error messages
FAQ
features
Frequently asked questions
Function like Construct
GDB
Headers
IDE
implementations
initialization
Internal types
internationalization
Java interface
kernels
keywords
license
loops
Memory leaks
Naming conventions
operating systems
OS kernels
Other languages
overload
Rosetta Stone
runtime errors
safety
Scientific Computing
sort
Stack and heap allocation
staload
Strings
Style guide
subtype
template
TODO
tutorials
type
Typechecking directives
typechecking errors
vim
Writing interfaces to C libraries
Zen Practice on ATS

Add a custom sidebar

Clone this wiki locally

Footer

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.