Enter the username or registered email address for your account.
Enter the password for your account.
Don't have an account? Create one here.
Please specify the email address to receive the password reset instructions.
An error has occurred whilst processing your request!
If the issue persists, then please contact us at [email protected].
For a better BitChute user experience,Login or Register now!
You are about to action:
Object being modified by the action
Do you want to proceed?
Please provide the details of your appeal, including why you believe this target has been incorrectly moderated.
Note: For copyright infringement counter claims see the Terms and Conditions.
We will investigate and inform you of the outcome.
Please select the most appropriate reason from the list provided.
Note: For copyright infringement claims see the Terms and Conditions.
Please specify the time offset in the video where the issue occurs.
Please add any additonal comments that will help with the assessment of your report here.
ATS Programming Language (.moe)
Idris examples taken from https://www.amazon.com/Gentle-Introduction-Dependent-Types-Idris-ebook/dp/B07H5M32YM/
The way this video went, you miss all the mean, unfair things I say about Idris.
To dismiss this warning and continue to watch the video please click on the button below.
Note - Autoplay has been disabled for this video.
Intro to ATS #1 -- good programmers and best programmers
9 months, 3 weeks ago
Intro to ATS #10: Datatype Refinement
7 months, 3 weeks ago
Intro to ATS #9: Introduction to Dependent Types
8 months, 3 weeks ago
Intro to ATS #8: Interaction with C
9 months ago
Intro to ATS #7: Modularity
Intro to ATS #6: Effectful Programming Features
Intro to ATS #5: Parametric Polymorphism
9 months, 1 week ago