arsalan0c

{-# LANGUAGE ScopedTypeVariables #-}

module Anf where

import Data.IORef
import Control.Monad
import Data.Foldable (foldrM)

data BOp   = Add | Sub | Mul
    deriving Show

arsalan0c

from typing import Type

# errors on: line 2, 4
# pre True
# post res != x
def some(x: int) -> int:
  return x

# pre True
# post res == x * x

arsalan0c

from typing import Callable
from typing import TypeVar

A = TypeVar('A')
B = TypeVar('B')

def apply(f: Callable[[A],B], a: A):
    return f(a)

def fst(a: A, b: B):

arsalan0c

A roadmap for developing applications for Microsoft Teams, for the beginning developer

General Approach

Make use of tools which help to save time and effort. This may mean using existing libraries and frameworks instead of looking to build things from scratch. For example, if you want to add a tab to your Teams application, search the web for HTML templates that are close to what you are looking for and modify them accordingly.

Assuming you are clear on what you want to build, go through the courses and resources in order to build what you want instead of doing them for their own sake. For example, instead of spending a 100 hours to complete a course and only then starting development, you can first pick out the portion that will give you enough knowledge to get started. You can then refer back to the materials and complement them as necessary. This will probably involve searching a lot of things up as you go along to help you understand everything that you need, and is part of the learning proces

arsalan0c

Keybase proof

I hereby claim:

• I am arsalanc-v2 on github.
• I am arsalanc (https://keybase.io/arsalanc) on keybase.
• I have a public key ASCOXo1kTQxL74enLOwbI6Ts7EYGF-I4KXJ6w9T7JMbBBgo

To claim this, I am signing this object: